#ifndef _CLOCK_H_
#define _CLOCK_H_

#include <stdint.h>

void system_clock_init(void);
void systick_init(void);
void systick_cnt_inc(void);
uint32_t systick_cnt_get(void);

#endif